<?php //pack11class

class TablePropertiesHeader extends Module {

    public function setup() {
        $this->setBody(LabelManager::getLabel("table_properties_label"));
        $this->setID("tableProperties");
        $this->setClass("tableProperties");
    }

}
?>
